Some Thoughts on Algebraic Specification

Pandora's Box

Irrespective of the many different implementation paradigms, it is important that client level specifications allow to balance freedom from implementation bias and properly restricting the possible implementations to the ones that the client desires. Algebraic specification of the black-box behavior of a system provides just this, if a careful choice of what comprises desired output is made. We...

Some thoughts on algebraic speci

Some thoughts on algebraic speci cation

On Teaching Logic and Algebraic Specification

Courses on algebraic specification and logic have been important cornerstones of teaching theoretical computer science for many years. Moreover, algebraic specification and logic are applied in areas like software specification and verification, but also in ontologies and weak artificial intelligence, and other areas. During my studies, I myself was greatly influenced by courses on algebraic sp...

Loose semantics in the verification of communicating systems

The specification language CSP-CASL combines algebraic and process algebraic formalisms for the description of reactive systems with structured data [Rog 03]. We are using this formalism to formally specify and verify a Swiss banking system and its communication protocol. The EP2 banking system describes the actors involved in an electronic payment and the interfaces between them [EP2]. The so-...